SAÏS, LAKHDAR: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games

TOUATI, Sofiane, RADJEF, Mohammed Said, SAIS, Lakhdar

Journal:

Computers & Operations Research

Year:

2021

File:

PDF, 856 KB

2021

2

Reasoning from last conflict(s) in constraint programming

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal

Journal:

Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 841 KB

english, 2009

3

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 210 KB

english, 2018

4

Tractability through symmetries in propositional calculus

Belaid Benhamou, Lakhdar Sais

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 861 KB

english, 1994

5

Multi-mechanism modeling of proportional and non-proportional ratchetting of stainless steel 304

Saï, Kacem, Taleb, Lakhdar, Guesmi, Fethi, Cailletaud, Georges

Journal:

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

6

[IEEE 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06) - Arlington, VA, USA (2006.11.13-2006.11.13)] 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06) - Computing Horn Strong Backdoor Sets Thanks to Local Search

Paris, Lionel, Ostrowski, Richard, Siegel, Pierre, Sais, Lakhdar

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

7

Mining Top-k motifs with a SAT-based framework

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 973 KB

english, 2015

8

Modelling of a Cd1−xZnxTe/ZnTe Single Quantum Well for Laser Diodes

Dehimi, Sai̇d, Dehimi, Lakhdar, Asar, Tarik, Özçelik, Süleyman

Journal:

Journal of Electronic Materials

Year:

2017

Language:

english

File:

PDF, 2.97 MB

english, 2017

9

SAT-Based Data Mining

Boudane, Abdelhamid, Jabbour, Saïd, Sais, Lakhdar, Salhi, Yakoub

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 614 KB

english, 2018

10

Handbook of Parallel Constraint Reasoning || Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

11

Checking depth-limited consistency and inconsistency in knowledge-based systems

Laure Brisoux, Éric Grégoire, Lakhdar Saïs

Journal:

International Journal of Intelligent Systems

Year:

2001

Language:

english

File:

PDF, 110 KB

english, 2001

12

SAT graph-based representation: A new perspective

Gilles Audemard, Said Jabbour, Lakhdar Sais

Journal:

Journal of Algorithms

Year:

2008

Language:

english

File:

PDF, 434 KB

english, 2008

13

Boosting complete techniques thanks to local search methods

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 136 KB

english, 1998

14

Learning from conflicts in propositional satisfiability

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Journal:

4OR: A Quarterly Journal of Operations Research

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

15

Numerical simulation of the anisotropic behavior of 2017 aluminum alloy

Saı¨, Kacem, Taleb, Lakhdar, Cailletaud, Georges

Journal:

Computational Materials Science

Year:

2012

Language:

english

File:

PDF, 625 KB

english, 2012

16

LEARNING FOR DYNAMIC SUBSUMPTION

HAMADI, YOUSSEF, JABBOUR, SAÏD, SAÏS, LAKHDAR

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

17

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning in Local Search

Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

18

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Local Autarkies Searching for the Dynamic Partition of CNF Formulae

Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 297 KB

english, 2009

19

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency

D'Almeida, Dominique, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 320 KB

english, 2009

20

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Subsumption

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 343 KB

english, 2009

21

[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Portfolio-based Parallel SAT solving

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

22

[IEEE 2011 IEEE International Conference on Data Mining Workshops (ICDMW) - Vancouver, BC, Canada (2011.12.11-2011.12.11)] 2011 IEEE 11th International Conference on Data Mining Workshops - A Constraint Programming Approach for Enumerating Motifs in a Sequence

Coquery, Emmanuel, Jabbour, Saïd, Saïs, Lakhdar

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

23

[IEEE 2007 IEEE International Conference on Information Reuse and Integration - Las Vegas, NV, USA (2007.08.13-2007.08.15)] 2007 IEEE International Conference on Information Reuse and Integration - Reducing hard SAT instances to polynomial ones

Fourdrinoy, Olivier, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

24

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Symmetry-Based Pruning in Itemset Mining

Jabbour, Said, Khiari, Mehdi, Sais, Lakhdar, Salhi, Yakoub, Tabia, Karim

Year:

2013

Language:

english

File:

PDF, 600 KB

english, 2013

25

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Extending modern SAT solvers for models enumeration

Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar, Salhi, Yakoub

Year:

2014

Language:

english

File:

PDF, 141 KB

english, 2014

26

About some UP-based polynomial fragments of SAT

Al-Saedi, Balasim, Fourdrinoy, Olivier, Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

27

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Guo, Long, Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

28

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Boolean satisfiability for sequence mining

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Year:

2013

Language:

english

File:

PDF, 560 KB

english, 2013

29

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases

Mazure, Bertrand, Saïs, Lakhdar, Grégoire, Éric

Journal:

International Journal of Cooperative Information Systems

Year:

1997

Language:

english

File:

PDF, 982 KB

english, 1997

30

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Mining-based compression approach of propositional formulae

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Uno, Takeaki

Year:

2013

Language:

english

File:

PDF, 679 KB

english, 2013

31

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - On the Characterization of Inconsistency: A Prime Implicates Based Framework

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 762 KB

english, 2014

32

What we can learn from conflicts in propositional satisfiability

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Journal:

Annals of Operations Research

Year:

2016

Language:

english

File:

PDF, 789 KB

english, 2016

33

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Mining to Compress Table Constraints

Jabbour, Said, Roussel, Stephanie, Sais, Lakhdar, Salhi, Yakoub

Year:

2015

Language:

english

File:

PDF, 235 KB

english, 2015

34

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Al-Saedi, Balasim, Gregoire, Eric, Mazure, Bertrand, Sais, Lakhdar

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014

35

[IEEE 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Patras, Greece (2007.10.29-2007.10.31)] 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Light Integration of Path Consistency for Solving CSPs

Chmeiss, Assef, Krawczyk, Vincent, Sais, Lakhdar

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

36

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Parallel SAT based closed frequent itemsets enumeration

Dlala, Imen Ouled, Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Yaghlane, Boutheina Ben

Year:

2015

Language:

english

File:

PDF, 674 KB

english, 2015

37

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Itemset Mining with Penalties

Jabbour, Said, Kaci, Souhila, Sais, Lakhdar, Salhi, Yakoub

Year:

2016

Language:

english

File:

PDF, 210 KB

english, 2016

38

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data

Dlala, Imen Ouled, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Ben Yaghlane, Boutheina

Year:

2016

Language:

english

File:

PDF, 233 KB

english, 2016

39

Quantifying conflicts in propositional logic through prime implicates

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Journal:

International Journal of Approximate Reasoning

Year:

2017

Language:

english

File:

PDF, 812 KB

english, 2017

40

[IEEE 2016 IEEE International Conference on Big Data (Big Data) - Washington DC,USA (2016.12.5-2016.12.8)] 2016 IEEE International Conference on Big Data (Big Data) - Summarizing big graphs by means of pseudo-boolean constraints

Jabbour, Said, Mhadhbi, Nizar, Mhadhbi, Abdesattar, Radaoui, Badran, Sais, Lakhdar

Year:

2016

Language:

english

File:

PDF, 163 KB

english, 2016

41

Erratum to: Modelling of a Cd1−xZnxTe/ZnTe Single Quantum Well for Laser Diodes

Dehimi, Sai̇d, Dehimi, Lakhdar, Asar, Tarik, Özçelik, Süleyman

Journal:

Journal of Electronic Materials

Year:

2017

Language:

english

File:

PDF, 332 KB

english, 2017

42

Fuzzy generalized fast marching method for 3D segmentation of brain structures

Baghdadi, Mohamed, Benamrane, Nacéra, Sais, Lakhdar

Journal:

International Journal of Imaging Systems and Technology

Year:

2017

Language:

english

File:

PDF, 1.74 MB

english, 2017

43

Multi-mechanism Modeling of Inelastic Material Behavior || Typical MM Responses

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 635 KB

english, 2018

44

Multi-mechanism Modeling of Inelastic Material Behavior || Comparison with Experimental Databases

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

45

Multi-mechanism Modeling of Inelastic Material Behavior || Model Formulation

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 212 KB

english, 2018

46

Multi-mechanism Modeling of Inelastic Material Behavior || Finite Element Implementation

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

47

Multi-mechanism Modeling of Inelastic Material Behavior || State of the Art

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 909 KB

english, 2018

48

Multi-mechanism Modeling of Inelastic Material Behavior || MM Damage-Plasticity Models

Cailletaud, Georges, Saï, Kacem, Taleb, Lakhdar

Year:

2018

Language:

english

File:

PDF, 263 KB

english, 2018

49

Mining Negatives Association Rules Using Constraints

Jabbour, Said, El Mazouri, Fatima Ezzahra, Sais, Lakhdar

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

50

Handbook of Parallel Constraint Reasoning ||

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 10.73 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски